simultaneous invariant

[数] 联立不变式

热门查询